Franz Baader
Franz Baader (15 June 1959, Spalt) is a German computer scientist.
He received his PhD in Computer Science in 1989 from the University of Erlangen-Nuremberg, Germany, where he was a teaching and research assistant for 4 years. In 1989, he went to the German Research Institute of Artificial Intelligence (DFKI) as a senior researcher and project leader. In 1993 he was associate professor for computer science at RWTH Aachen, and in 2002 full professor for computer science at TU Dresden.[1]
Works
- Franz Baader, Tobias Nipkow, Term Rewriting and All That, (1998) Cambridge University Press.
- Franz Baader, ed (2003). The description logic handbook: theory, implementation, and applications. Cambridge University Press. ISBN 9780521781763. http://books.google.com/books?id=riSeOKw5I6sC&printsec=frontcover&dq=Franz+Baader&source=bl&ots=T6YxS-Rxef&sig=hO0MRB5MoljSxz8pc2yyaV2SX3M&hl=en&ei=bvmGS6bEGsaPtgeckLC0DQ&sa=X&oi=book_result&ct=result&resnum=11&ved=0CCcQ6AEwCg#v=onepage&q=&f=false.
- Franz Baader, Andreĭ Voronkov, ed (2005). Logic for programming, artificial intelligence, and reasoning: 11th international conference. Springer. ISBN 9783540252368. http://books.google.com/books?id=ydGx67J3jFoC&printsec=frontcover&dq=Franz+Baader&source=bl&ots=4jtN-g68ly&sig=g8oKkR-0RCF3_4Zs2ge4xGemH-M&hl=en&ei=bvmGS6bEGsaPtgeckLC0DQ&sa=X&oi=book_result&ct=result&resnum=16&ved=0CDUQ6AEwDw#v=onepage&q=&f=false.
References
External links
| Persondata |
| Name |
Baader, Franz |
| Alternative names |
|
| Short description |
|
| Date of birth |
|
| Place of birth |
|
| Date of death |
|
| Place of death |
|